18.5.2 검증기(Verifier) 모델 활용: 생성된 코드가 안전한지, 논리적으로 타당한지를 사전에 검사하는 보조 모델 활용